
   Syntax       {%IN% &label&} {%ON% iteration} %MULTIPLY% &term&

   Purpose      Divides &term& into the expression, equation, or relation
                belonging to &label&.

   Abbreviation       MUL for MULTIPLY

   &Example&

   þR1 : c < c*x < d
   DIVIDE c
   R1 : 1 < x < 1/c*d

   PROCEDURE Example(INTEGER ; LABEL L ; PARAMETER P) ;
     ITERATE I FROM 1 TO N ;
     IN L[I] DIVIDE P ;
   EXIT

